1. ANNA, a language for annotating Ada programs : reference manual
پدیدآورنده : David C. Luckham ... )et al.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، ANNA )Computer program language(,، Ada )Computer program language(
رده :
QA
76
.
L4
v
.
260
2. ANNA : a language for annotating Ada programs : reference manual
پدیدآورنده : David C. Luckham...]et al.[
کتابخانه: (طهران)
موضوع : ، Anna )Computer program language(,، Ada )Computer program language(
رده :
QA
76
.
L28
Vol
.
260
3. Programming with specifications : an introduction to ANNA, a language for specifying Ada programs
پدیدآورنده : David Luckham,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : ANNA )Computer program language(,Ada )Computer program language(
رده :
QA
.
A54L83
76
.
73
1990
4. Programming with specifications : an introduction to ANNA, a language for specifying Ada programs
پدیدآورنده : Luckham, David C.
کتابخانه: (طهران)
موضوع : ، Anna )Computer program language(,، Ada )Computer program language(
رده :
QA
76
.
73
.
A54L83
1990